From a1e357903c931ed4a566e655c5d3e9a4f31d344e Mon Sep 17 00:00:00 2001 From: "kaf24@firebug.cl.cam.ac.uk" Date: Wed, 1 Jun 2005 15:50:02 +0000 Subject: [PATCH] bitkeeper revision 1.1628.1.1 (429dd92aYeqV9tl4b0g_F_deORFVAQ) Fix sync_lazy_execstate functions to correctly sync the local cpu. Signed-off-by: Keir Fraser --- xen/arch/x86/domain.c | 9 +++++++-- 1 file changed, 7 insertions(+), 2 deletions(-) diff --git a/xen/arch/x86/domain.c b/xen/arch/x86/domain.c index 4d49724c4e..25f0125609 100644 --- a/xen/arch/x86/domain.c +++ b/xen/arch/x86/domain.c @@ -819,12 +819,17 @@ int __sync_lazy_execstate(void) void sync_lazy_execstate_cpuset(unsigned long cpuset) { - flush_tlb_mask(cpuset); + if ( cpuset & (1 << smp_processor_id()) ) + (void)__sync_lazy_execstate(); + /* Other cpus call __sync_lazy_execstate from flush ipi handler. */ + flush_tlb_mask(cpuset & ~(1 << smp_processor_id())); } void sync_lazy_execstate_all(void) { - flush_tlb_all(); + __sync_lazy_execstate(); + /* Other cpus call __sync_lazy_execstate from flush ipi handler. */ + flush_tlb_mask(((1<